Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es applicative order reduction - definición
TECHNIQUE FOR SOLVING LINEAR ORDINARY DIFFERENTIAL EQUATIONS
Reduction of Order
applicative order reduction
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<programming> An evaluation strategy under which an
expression is evaluated by repeatedly evaluating its leftmost
innermost redex. This means that a function's arguments are
evaluated before the function is applied. This method will
not terminate if a function is given a non-terminating
expression as an argument even if the function is not strict
in that argument. Also known as call-by-value since the
values of arguments are passed rather than their names. This
is the evaluation strategy used by ML, Scheme, Hope and
most procedural languages such as C and Pascal.
See also normal order reduction, parallel reduction.
(1995-01-25)
reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
<theory> An algorithm for deciding which redex(es) to
reduce next. Different strategies have different termination
properties in the presence of recursive functions or values.
See string reduction, normal order reduction, {applicative
order reduction}, parallel reduction
(1995-05-09)
Reduction strategy
WIKIMEDIA DISAMBIGUATION PAGE
Reduction strategy (code optimization); Applicative order reduction; Reduction strategy (lambda calculus)
In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation. Some authors use the term to refer to an evaluation strategy.
Wikipedia
Reduction of order
Reduction of order (or d’Alembert reduction) is a technique in mathematics for solving second-order linear ordinary differential equations. It is employed when one solution is known and a second linearly independent solution is desired. The method also applies to n-th order equations. In this case the ansatz will yield an (n−1)-th order equation for .
